package tableaux.blocking;

import kb.TBox;
import entities.Individual;

public interface Blocking {

	public boolean canBeBlocked(Individual ind, TBox tb);

}
